Euclidean algorithm

Results: 423



#Item
21Mathematical logic / Programming paradigms / Algorithm / Theoretical computer science / Axiom / Euclidean geometry / Logic programming / Constraint satisfaction / Constraint programming / Satisfiability modulo theories / Foundations of geometry

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English
22Linear algebra / Projection / Matrix / Multivariate random variable / Linear combination / Basis / Vector space / Euclidean algorithm / Polynomial greatest common divisor

JMLR: Workshop and Conference Proceedings vol 40:1–14, 2015 Variable Selection is Hard Dean P. Foster DEAN @ FOSTER . NET

Add to Reading List

Source URL: jmlr.org

Language: English - Date: 2015-07-20 20:08:36
23Polynomials / Lemmas / Generating function / NC / Elliptic curve / Closed and exact differential forms / Euclidean algorithm / Permutation polynomial / Transcendental number

Change Of Order For Bivariate Triangular Sets ´ Eric Schost Cyril Pascal

Add to Reading List

Source URL: www.csd.uwo.ca

Language: English - Date: 2006-12-07 09:59:01
24Lemmas / Differential forms / Differential geometry / Analysis of algorithms / Asymptotic analysis / Big O notation / Closed and exact differential forms / Differential geometry of surfaces / Expected value

Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces Jens J¨ agersk¨ upper? FB Informatik, LS 2, Univ. Dortmund, 44221 Dortmund, Germany

Add to Reading List

Source URL: ls2-www.cs.uni-dortmund.de

Language: English - Date: 2004-04-23 06:40:29
25Algebra / Equations / Recurrence relation / Theory of computation / Matrix exponential / Matrix / Linear differential equation / Equation solving / Euclidean algorithm / Differential equation / Polynomial / Gaussian elimination

Fast computation of power series solutions of systems of differential equations∗ A. Bostan† F. Chyzak†

Add to Reading List

Source URL: www.csd.uwo.ca

Language: English - Date: 2007-03-04 21:27:23
26Gttingen / Gttingen State and University Library

The Euclidean algorithm for Galois extensions of Q. The Euclidean algorithm for Galois extensions of Q.

Add to Reading List

Source URL: www.mast.queensu.ca

Language: English - Date: 2014-06-11 16:21:50
27Metric geometry / Length / Multivariate statistics / Statistical distance / Search algorithms / Jaccard index / Similarity / Metric / Cosine similarity / K-d tree / K-nearest neighbors algorithm / Euclidean distance

CS168: The Modern Algorithmic Toolbox Lecture #3: Similarity Metrics and kd-Trees Tim Roughgarden & Gregory Valiant April 6,

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2016-06-04 09:49:43
28QN / Euclidean algorithm / Diophantine approximation / Coprime integers / Diophantine equation

On Cornacchia’s algorithm for solving the diophantine equation u2 + dv 2 = m F. Morain ∗† J.-L. Nicolas ‡ September 12, 1990

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2008-02-13 07:49:18
29Mathematical logic / Operations research / Algorithm / Theoretical computer science / Axiom / Logic programming / Euclidean geometry / Datalog / Mathematical optimization / Constraint satisfaction / Satisfiability modulo theories / Foundations of geometry

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English
30Vectors / Digital signal processing / RamerDouglasPeucker algorithm / Sinuosity / Pi / Euclidean vector / Distance / Simplification / Matrix

This template contains a style sheet followed by Cartography and Geographic Information Science (CaGIS)

Add to Reading List

Source URL: www.cartogis.org

Language: English - Date: 2012-11-06 14:48:09
UPDATE